GRK.TES[ESS,JMC] - www.SailDart.org

perm filename GRK.TES[ESS,JMC] blob sn#034625 filedate 1973-04-10 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BDR25[FNT,TVR]\M1BDI25\M2NGB25\M3GRK25\.
C00003 ENDMK
C⊗;
\\M0BDR25[FNT,TVR];\M1BDI25;\M2NGB25;\M3GRK25;\.
\F0	The \F1value\F0 of an expression is defined by

	value(\F1e\F0,\F3x\F0) ← \F2if \F0isconst \F1e \F2then \F0valc \F1e
		\F2else if\F0 isvar \F1e \F2then \F0c(\F1e\F0,\F3x\F0)
		\F2else if\F0 issum \F1e \F2then \F0value(s1 \F1e\F0,\F3x\F0) + \F0value(s2 \F1e\F0,\F3x\F0).